Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
721	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
722	Automated Error Diagnosis Using Abductive Inference ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-03-25 02:32:25 Formal languages Model theory Entailment Static single assignment form Witness Function Modal logic Interpretation Symbol Logic Philosophical logic Mathematical logic
723	Adapting a general parser to a sublanguage Sophie Aubin, Adeline Nazarenko and Claire N´ edellec** () LIPN, University of Paris 13 & CNRS UMR, av. J.B. Cl´ement, FVilletaneuse, France {sophie.aubin,na Add to Reading List Source URL: www.abiword.org Language: English* - Date: 2013-03-19 19:17:33 Formal languages Computational linguistics Speech recognition Compiler construction Parsing Natural language processing Link grammar Dependency grammar Formal grammar Programming language implementation Linguistics Syntax
724	Microsoft Word - CBEAll.doc Add to Reading List Source URL: www.dbnet.ece.ntua.gr Language: English - Date: 2005-12-08 10:50:18 Procedural programming languages Compiler construction Formal languages Compiler Code generation Syntax Parsing Programming language Pascal Software engineering Computing Computer programming
725	Implementing Semantic Feedback in a Diagram Editor Niklas Fors Görel Hedin Department of Computer Science Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-06-17 11:17:27 Compiler construction Software Attribute grammar EXPRESS Entity-relationship model HTML element Abstract syntax tree Formal grammar Attribute Computing Software engineering Formal languages
726	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
727	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, msb Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-07-11 01:52:09 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
728	Validating LR(1) Parsers Jacques-Henri Jourdan1,2 , Fran¸cois Pottier2 , and Xavier Leroy2 1 2 ´ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-01-06 07:45:45 Syntax Linguistics Compiler construction Combinatorics on words LR parser Lookahead Compiler-compiler SLR grammar String Formal languages Combinatorics Parsing
729	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
730	October 2009 WAR’S SECOND GRAMMAR Dr. Antulio J. Echevarria II With the publication of FM 3-24/MCWP, Counterinsurgency, the U.S. military officially embraced a second grammar of war. As an official statement of Add to Reading List Source URL: strategicstudiesinstitute.army.mil Language: English - Date: 2009-10-02 13:27:03 Logic Carl von Clausewitz German nobility Grammar Formal grammar Counter-insurgency War Formal languages Science Academia

UPDATE